Ordering-Based Semantics for Software Transactional Memory∗ Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, and Michael L. Scott Technical Report #938 Department of Computer Science, University of Rochester {s

Source URL: www.cs.rochester.edu

• Information
• Schedule
• Database transaction
• Nested transaction
• Commit
• Timestamp-based concurrency control
• Transaction processing
• Data management
• Data

The Advantages of Multiple Parallelizations in Cornbinatorial Search* ^Computer Science Department, Oregon State University, Corvallis, Oregon[removed]; and ^.Computer Science Department, University of Rochester, Roche

Source URL: www.cs.rochester.edu

• Parallel computing
• Degree
• Data parallelism
• Tree
• Graph
• HPCC
• Depth-first search
• Vertex
• Scalable parallelism
• Graph theory
• Mathematics
• Computing

Operating System Support for Animate Vision* B. MARSH,C. BROWN,T. LEBLANC,M. SCOTT,T. BECKER,P. DAS,J. KARLSSON, AND C. QUIROZ Computer Science Department, The University of Rochester, Rochester, New York[removed]physical

Source URL: www.cs.rochester.edu

• Programming paradigms
• Concurrency control
• Thread
• Parallel computing
• Parallel programming model
• Kernel
• Process management
• Critical section
• Scheduling
• Computing
• Computer programming
• Concurrent computing

Brief Announcement: Privatization Techniques for Software Transactional Memory ∗ Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, and Michael L. Scott Department of Computer Science, University of Rochester

Source URL: www.cs.rochester.edu

• Data
• Information
• Databases
• Programming language implementation
• Software transactional memory
• Transactional memory
• Database transaction
• Linearizability
• Extensible Storage Engine
• Transaction processing
• Concurrency control
• Data management

Invent. math. 148, 47–[removed]Digital Object Identifier (DOI[removed]s002220100186 Thue equations and the method of Chabauty-Coleman Dino Lorenzini, Thomas J. Tucker Department of Mathematics, University of Georgia,

Source URL: www.math.rochester.edu

• Algebraic number field
• Algebraic number theory
• Field theory
• Spectral theory
• Operator theory
• Spectral theory of ordinary differential equations
• Clifford algebra
• Mathematics
• Algebra
• Abstract algebra

GARETH AUSTIN. PUBLICATIONS & PRESENTATIONS PUBLICATIONS SINCE 2005 SINGLE-AUTHORED BOOK(S) Labour, Land and Capital in Ghana: From Slavery to Free Labour in Asante, [removed]University of Rochester Press: Rochester, N

Source URL: graduateinstitute.ch

• Africanists
• Patrick Manning
• A. G. Hopkins
• African Economic History
• Sub-Saharan Africa
• Slavery
• Atlantic slave trade
• West Africa
• Social history
• Racism
• Americas
• Africa

GARETH AUSTIN. PUBLICATIONS Single-Authored Books Labour, Land and Capital in Ghana: From Slavery to Free Labour in Asante, [removed]University of Rochester Press: Rochester, NY, 2005; paperback, [removed]+ pages incl

Source URL: graduateinstitute.ch

• Political geography
• Toyin Falola
• Atlantic slave trade
• Ghana
• Ali M. El-Agraa
• Ron Martin
• Africa
• A. G. Hopkins
• Americas

AC/OC-Kolloquien Sommersemester 2014 Ort: Hörsaal Takustraße 3 Prof. Robert Boeckman Jr. (University of Rochester)

Source URL: www.chemie.fu-berlin.de

Curriculum Vitae Prof. Dr. James A. Brickley We’ll change the way you think.

Source URL: www.executive-mba.ch

• Year of birth missing
• Business
• Hersh Shefrin
• Eugene Fama
• University of Rochester
• William E. Simon Graduate School of Business Administration
• Corporate governance

Belief and Indeterminacy Michael Caie University of Rochester 1. Introduction What attitude should a rational agent have toward a proposition expressed by a paradoxical sentence such as the liar? In this paper, I argue

Source URL: dl.dropboxusercontent.com

• Epistemology
• Justification
• Reasoning
• Paradoxes
• Belief
• Doxastic logic
• Is–ought problem
• Liar paradox
• Indeterminacy
• Philosophy
• Logic
• Knowledge